Generalized Effective Reducibility

We introduce two notions of effective reducibility for set-theoretical statements, based on computability with Ordinal Turing Machines (OTMs), one of which resembles Turing reducibility while the other is modelled after Weihrauch reducibility. We give sample applications by showing that certain (algebraic) constructions are not effective in the OTM-sense and considerung the effective equivalence of various versions of the axiom of choice

Genome-Wide Search Reveals the Existence of a Limited Number of Thyroid Hormone Receptor Alpha Target Genes in Cerebellar Neurons

Thyroid hormone (T3) has a major influence on cerebellum post-natal development. The major phenotypic landmark of exposure to low levels of T3 during development (hypothyroidism) in the cerebellum is the retarded inward migration of the most numerous cell type, granular neurons. In order to identify the direct genetic regulation exerted by T3 on cerebellar neurons and their precursors, we used microarray RNA hybridization to perform a time course analysis of T3 induced gene expression in primary cultures of cerebellar neuronal cell. These experiments suggest that we identified a small set of genes which are directly regulated, both in vivo and in vitro, during cerebellum post-natal development. These modest changes suggest that T3 does not acts directly on granular neurons and mainly indirectly influences the cellular interactions taking place during development